Not all scientific explanations work by describing causal connections between events or the world's overall causal structure. Some mathematical proofs explain why the theorems being proved hold. In this book, Marc Lange proposes philosophical accounts of many kinds of non-causal explanations in science and mathematics. These topics have been unjustly neglected in the philosophy...(展开全部)

When mathematician Hermann Weyl decided to write a book on philosophy, he faced what he referred to as 'conflicts of conscience' - the objective nature of science, he felt, did not mesh easily with the incredulous, uncertain nature of philosophy. Yet the two disciplines were already intertwined. In "Philosophy of Mathematics and Natural Science", Weyl examines how advances in p...(展开全部)

E.T.贝尔（Eric Temple Bell 1883—1960），美国著名数学家、数学史家，美国国家科学院院士，哥伦比亚大学数学博士。先后在芝加哥大学、华盛顿大学和加州理工学院任教。曾任美国数学学会（AMS）主席、美国数学协会（MAA）副主席。以他的名字命名的“贝尔数”与“贝尔多项式”是其主要的数学贡献，曾获美国数学学会的博歇奖（Bôcher Memorial Prize）。贝尔著述颇丰，除本书外，《数学的历程》《数学大师》也很受读者欢迎。

Hilary Putnam's unceasing self-criticism has led to the frequent changes of mind he is famous for, but his thinking is also marked by considerable continuity. A simultaneous interest in science and ethics - unusual in the current climate of contention - has long characterized his thought. In "Philosophy in an Age of Science", Putnam collects his papers for publication - his fir...(展开全部)

Hilary Putnam's unceasing self-criticism has led to the frequent changes of mind he is famous for, but his thinking is also marked by considerable continuity. A simultaneous interest in science and ethics - unusual in the current climate of contention - has long characterized his thought. In "Philosophy in an Age of Science", Putnam collects his papers for publication - his fir...(展开全部)

Mathematics and Computation provides a broad, conceptual overview of computational complexity theory—the mathematical study of efficient computation. With important practical applications to computer science and industry, computational complexity theory has evolved into a highly interdisciplinary field, with strong links to most mathematical areas and to a growing number of sci...(展开全部)

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinat...(展开全部)

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinat...(展开全部)

Did mandatory busing programs in the 1970s increase the school achievement of disadvantaged minority youth? Does obtaining a college degree increase an individual's labor market earnings? Did the use of the butterfly ballot in some Florida counties in the 2000 presidential election cost Al Gore votes? If so, was the number of miscast votes sufficiently large to have altered th...(展开全部)

Here the author of "How to Solve It" explains how to become a 'good guesser'. Marked by G. Polya's simple, energetic prose and use of clever examples from a wide range of human activities, this two-volume work explores techniques of guessing, inductive reasoning, and reasoning by analogy, and the role they play in the most rigorous of deductive disciplines.